\begin{tabbing}
$\forall$$i$:top, $L$:(top List), $A$:top.
\\[0ex]sqequal(\=R{-}da(Rall($L$; $x$.$A$($x$)); $i$);\+
\\[0ex]reduce(($\lambda$$x$,${\it da}$. fpf{-}join(Kind{-}deq; R{-}da($A$($x$); $i$); ${\it da}$)); fpf{-}empty; $L$))
\-
\end{tabbing}